#include <stdio.h>
#define MAX 10
namespace SV_TAINTED_GLOBAL {

	namespace bad {
		int gVar = 0;

		int getTaintedData()
		{
			int i;
			scanf("%d", &i);
			return i;
		}
		void foo()
		{
			int t = getTaintedData();
			gVar = t;
		}
	
	}

	namespace good {
	


		int gVar = 0;
		int getTaintedData()
		{
			int i;
			scanf("%d", &i);
			return i;
		}
		void foo()
		{
			int t = getTaintedData();
			if (t < MAX)
			{
				// value validated
				gVar = t;
			}
		}
	
	}

}